The Lazy Model Theoretician’s Guide to Shelah’s Eventual Categoricity Conjecture in Universal Classes
نویسندگان
چکیده
We give a short overview of the proof of Shelah’s eventual categoricity conjecture in universal classes with amalgamation [Vasd].
منابع مشابه
Shelah’s Eventual Categoricity Conjecture in Universal Classes. Part Ii
We prove that a universal class categorical in a highenough cardinal is categorical on a tail of cardinals. As opposed to other results in the literature, we work in ZFC, do not require the categoricity cardinal to be a successor, do not assume amalgamation, and do not use large cardinals. Moreover we give an explicit bound on the “high-enough” threshold: Theorem 0.1. Let ψ be a universal Lω1,ω...
متن کاملShelah’s Eventual Categoricity Conjecture in Tame Aecs with Primes
A new case of Shelah’s eventual categoricity conjecture is established: Theorem 1. LetK be an AEC with amalgamation. WriteH2 := i2i(2LS(K))+ + . Assume that K is H2-tame and K≥H2 has primes over sets of the form M∪{a}. If K is categorical in some λ > H2, then K is categorical in all λ′ ≥ H2. The result had previously been established when the stronger locality assumptions of full tameness an...
متن کاملA Downward Categoricity Transfer for Tame Abstract Elementary Classes
We prove a downward transfer from categoricity in a successor in tame abstract elementary classes (AECs). This complements the upward transfer of Grossberg and VanDieren and improves the Hanf number in Shelah’s downward transfer (provided the class is tame). Theorem 0.1. Let K be an AEC with amalgamation. If K is LS(K)-weakly tame and categorical in a successor λ ≥ i(2LS(K))+ , then K is catego...
متن کاملLimit Models in Classes with Amalgamation
In abstract elementary classes limit models are sometimes the appropriate substitute for saturated models. For Galois-stable abstract elementary classes which satisfy the amalgamation property, we prove under the assumption that there is a mildly behaved dependence relation, that for any model M , any two limit models over M of the same cardinality are isomorphic. This is useful in dealing with...
متن کاملCategoricity in Abstract Elementary Classes with No Maximal Models
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...
متن کامل